STM: test-spec-feasible
STM: esp-test
STM: fpf-dom-test
ABS: rps(x; y)
STM: rps wf
STM: rps-total
STM: rps-anti-symmetric
ABS: randm(i; j)
STM: randm wf
STM: rock-paper-sissors
